Философский словарь - порецкий-платон

Сергеевич (род. 3 окт. 1846, Елизаветград - ум. 9 авг. 1907, с. Жоведь Черниговской губ.) - рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия ("О способах решения логических равенств и об обратном способе математической логики", 1884). В философских воззрениях придерживался естественнонаучного материализма.